Model of computation - PDFSEARCH.IO - Document Search Engine

Model of computation
Results: 512

#	Item
391	Attacking some open questions in quantum query complexity Ronald de Wolf and University of Amsterdam Add to Reading List Source URL: www.lu.lv Language: English - Date: 2011-06-10 03:41:52 Computational complexity theory Quantum information science Models of computation Quantum algorithm Decision tree model Algorithm Aanderaa–Karp–Rosenberg conjecture Quantum computer Theoretical computer science Applied mathematics Mathematics
392	PDF Document Add to Reading List Source URL: users.eecs.northwestern.edu Language: English - Date: 2014-05-27 12:18:00 Actor model Concurrent computing Association for the Advancement of Artificial Intelligence Crowdsourcing Computer science Eric Horvitz Ambient intelligence Science Computing Human-based computation Social information processing
393	Research Visit at the University of Illinois at Urbana-Champaign: End Report Felix Schernhammer January 25, [removed] Add to Reading List Source URL: marshallplan.squarespace.com Language: English - Date: 2011-07-20 20:16:54 Model theory Structure Universal algebra Computability theory Theory of computation Combinatorial species Symbol Interpretation Μ operator Mathematics Mathematical logic Logic
394	MASTERTHESIS The usage of model-based design for signal processing of an RTP stream prepared at the Salzburg University of Applied Sciences Add to Reading List Source URL: www.marshallplan.at Language: English - Date: 2012-11-08 11:09:18 Audio codecs Computer architecture Models of computation Computer data Dataflow Synchronization SIGNAL Voice activity detection G.711 Computing Electronics Electronic engineering
395	Department of Engineering 1 Efficient decoding with continuous rational kernels using the expectation semiring Add to Reading List Source URL: mi.eng.cam.ac.uk Language: English - Date: 2013-03-25 11:19:15 Statistical classification Computational linguistics Markov models Natural language processing Models of computation Finite state transducer Hidden Markov model N-gram Speech recognition Statistics Probability and statistics Science
396	Department of Engineering 1 Efficient decoding with continuous rational kernels using the expectation semiring Add to Reading List Source URL: mi.eng.cam.ac.uk Language: English - Date: 2013-03-27 12:44:35 Statistical classification Computational linguistics Markov models Natural language processing Models of computation Finite state transducer Hidden Markov model N-gram Speech recognition Statistics Probability and statistics Science
397	Environment model Why does this code work? • Models of computation • Substitution model Add to Reading List Source URL: sicp.csail.mit.edu Language: English - Date: 2007-04-05 22:20:30 Logic Mathematical notation Predicate logic Mathematics Computing Combinatory logic Lambda calculus Computer programming Free variables and bound variables
398	Extending OCL with Null-References Towards a Formal Semantics for OCL 2.1 Achim D. Brucker1 , Matthias P. Krieger2 , and Burkhart Wolff2 1 2 Add to Reading List Source URL: www.brucker.ch Language: English - Date: 2011-12-04 09:41:42 Formal languages Model theory Data types Type theory Models of computation Object Constraint Language Null ECO Interpretation Logic Mathematics Software engineering
399	in Artificial Life VIII, Standish, Abbass, Bedau (eds)(MIT Press[removed]pp 75–78 1 An Abstraction of Intercellular Communication Thomas E. Portegys Add to Reading List Source URL: www.alife.org Language: English - Date: 2013-01-14 08:19:01 Systems biology Morphogen Cellular automaton Turing machine Cell signaling Glider Computer Gun French flag model Biology Theory of computation Morphogens
400	Hierarchical Correctness Proofs for Distributed Algorithms Nancy A. Lynch and Mark R. Tuttle Laboratory for Computer Science Massachusetts Institute of Technology Add to Reading List Source URL: www.markrtuttle.com Language: English - Date: 2007-04-26 00:00:00 Arbiter Computing Actor model Computer science Software engineering Automata theory Models of computation Finite-state machine